drop: --fast support when dropping from a remote
authorJoey Hess <joeyh@joeyh.name>
Fri, 29 Aug 2025 16:45:33 +0000 (12:45 -0400)
committerJoey Hess <joeyh@joeyh.name>
Fri, 29 Aug 2025 16:45:33 +0000 (12:45 -0400)
commit146d224c6342b7d8f9c6499db01c125f83c25593
tree530717127b08d4ee98473807c60151cdf19da595
parent9ccb2dd1a32e3617e2cffcc1c45fa5f278cf4c5f
drop: --fast support when dropping from a remote

This is the same as --not --in $remote, but easier to type. And the
documentation of --fast helps also document that drop can do extra work
when used without --fast.

Sponsored-by: Nicholas Golder-Manning
CHANGELOG
Command/Drop.hs
doc/git-annex-drop.mdwn
doc/todo/drop_--from_unnecessary_locking_of_files_not_in_remote.mdwn